natural deduction system
[网络] 自然演绎系统；自然推理系统；自然演译系统
热门查询
- Aphrodite n. 阿佛洛狄特（司爱与美之女神）
- week n. 周，星期
- potation n. 喝；饮料
- polygamous adj. 一夫多妻的；一妻多夫的
- flattening n. 整平；扁率；压扁作用 v. 压扁（flatten的ing形式）
- handy adj. 便利的；手边的，就近的；容易取得的；敏捷的 n. (Handy)人名；(英)汉迪
- Fiona n. 菲奥纳（女子名）
- shattered v. 打碎；削弱；使心烦意乱（shatter的过去分词） adj. 破碎的；极度疲劳的
- octavo n. 八开本；八开纸
- November n. 十一月
- photojournalist n. 新闻摄影记者
- carafe n. 玻璃水瓶
- wast (be的过去式)第二人称单数直说法
- unworkable adj. 不能实行的；难运转的；不切实际的
- heterozygous adj. 杂合的
- fran abbr. framed-structure analysis 框架分析; franchise 特权，公民权
- gassing n. 气体处理；放毒气攻击；吹嘘 n. (Gassing)人名；(俄)哈辛
- canticle n. 颂歌；圣歌
- refusal n. 拒绝；优先取舍权；推却；取舍权
- magnitude n. 大小；量级；[地震] 震级；重要；光度
